Programming paradigms - PDFSEARCH.IO - Document Search Engine

Programming paradigms
Results: 1246

#	Item
361	AutoProof: Auto-active Functional Verification of Object-oriented Programs Julian Tschannen, Carlo A. Furia, Martin Nordio, and Nadia Polikarpova Chair of Software Engineering, Department of Computer Science, ETH Zurich, Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-01-15 04:33:24 Logic in computer science Object-oriented programming Formal methods Programming paradigms Eiffel Hardware verification languages Java Modeling Language Formal verification Postcondition Software engineering Computing Computer programming
362	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-01-30 08:47:53 Static program analysis Termination analysis Automated theorem proving Programming paradigms Constraint programming Logic in computer science Prolog Unification Computer program Software engineering Computing Theoretical computer science
363	SEAMLESS MULTICORE PARALLELISM IN MATLAB Claude Tadonki 1 and Pierre-Louis Caruana 2 Mines ParisTech - CRI - Math´ematiques et Syst`emes 35, rue Saint-Honor´e, 77305, Fontainebleau Cedex (France) claude.tadonki@mines-p Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-03-20 11:02:23 Array programming languages Numerical linear algebra Parallel computing Programming paradigms MATLAB Array programming MEX file OpenMP Software Computing Computer programming
364	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .4cm Constraint Programming Meets Verification 2014 Workhsop Add to Reading List Source URL: feever.fr Language: English - Date: 2014-09-15 03:55:43 Type theory Constraint programming Type systems Programming paradigms Declarative programming Type inference Faust ALGOL 68 OCaml Software engineering Computing Computer programming
365	Parallel Execution of Prolog Programs: a Survey GOPAL GUPTA University of Texas at Dallas ENRICO PONTELLI New Mexico State University KHAYRI A.M. ALI Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2010-04-03 13:35:16 Programming paradigms Logic programming Constraint programming Prolog Warren Abstract Machine Logic Constraint logic programming Parallel computing Procedural programming Software engineering Computer programming Computing
366	Automatic Streamization of Image Processing Applications Pierre Guillou, Fabien Coelho, and François Irigoin MINES ParisTech, PSL Research University Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-09-09 10:48:46 Models of computation Programming paradigms Massively parallel processor array Dataflow architecture Dataflow programming Multi-core processor Dataflow Very long instruction word Directed acyclic graph Computing Parallel computing Computer architecture
367	Alma-0: An Imperative Language that Supports Declarative Programming KRZYSZTOF R. APT CWI and University of Amsterdam and JACOB BRUNEKREEF and VINCENT PARTINGTON Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:14 Programming paradigms Procedural programming languages Theoretical computer science Alma-0 Computability theory Logic programming Backtracking Assignment Imperative programming Software engineering Computing Computer programming
368	CTL: A Platform-Independent Crypto Tools Library Based on Dataflow Programming Paradigm (Extended Edition)? Junaid Jameel Ahmad1 , Shujun Li1,2 , Ahmad-Reza Sadeghi3,4 , and Thomas Schneider3 1 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-05-21 10:33:05 Cryptographic hash functions Cross-platform software Advanced Encryption Standard Reconfigurable video coding Programming paradigms Dataflow programming SHA-2 AES implementations SHA-1 Computing Electronic engineering Hardware description languages
369	A Crash Course in Scala Amir H. Payberah Swedish Institute of Computer Science April 15, 2014 Add to Reading List Source URL: www.sics.se Language: English - Date: 2014-04-15 03:33:29 Functional languages Programming paradigms Functional programming Lisp programming language Java platform Scala Assignment Object-oriented programming Swedish Institute of Computer Science Software engineering Computing Computer programming
370	A Linear Algebra Framework for Static HPF Code Distribution Technical report A-278-CRI Corinne Ancourt, Fabien Coelho, Francois Irigoin, Ronan Keryell y Corresponding author: Fabien Coelho. Centre de Recherche en Inform Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:34:45 Compiler optimizations Programming paradigms Array data structure Array programming High Performance Fortran Parallel computing Matrix Vectorization Array Computing Computer programming Software engineering

UPDATE